Logical Reasoning with Object Diagrams in a UML and OCL Tool
نویسندگان
چکیده
In this contribution, we introduce an approach to visualize and analyze logical reasoning problems in a UML and OCL tool by using logical puzzles represented with UML diagrams. Logical reasoning is formalized as a UML class diagram model enhanced by OCL restrictions. Puzzle rules and questions are expressed as either partial object diagrams or OCL formulas within the model. Solutions can be found and explored by a tool as object diagrams.
منابع مشابه
A Constraint Diagram Reasoning System
The Unified Modeling Language (UML) is a collection of notations which are mainly diagrammatic. These notations are used by software engineers in the process of object oriented modelling. The only textual notation in the UML is the Object Constraint Language (OCL). The OCL is used to express logical constraints such as system invariants. Constraint diagrams are designed to provide a diagrammati...
متن کاملEquational Specification of UML+OCL Static Class Diagrams
In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for automatically validating UML object diagrams with respect to OCL constraints. Basically, class and object UML diagrams are specified as membership equational theories, and OCL expressions are represented as terms over extensions of those theories. Then, validating object d...
متن کاملUsing Reflection to Implement in Maude a Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML static class diagrams with respect to OCL invariants. From a conceptual point of view, the ITP/OCL tool is directly based on the equational specification of UML+OCL class diagrams developed in [11], according to which: i) class and object diagrams are specified as membership equational the...
متن کاملITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementation is directly based on the equational specification of UML+OCL class diagrams. It is written entirely in Maude making extensive use of its reflective capabilities. We also give notice of the Visual ITP/OCL, a Java graphical i...
متن کاملOCL-Lite: A Decidable (Yet Expressive) Fragment of OCL
UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide the class diagram with additional semantics to completely specify the domain, and this is where OCL comes into play. While reasoning over class diagrams is decidable and ha...
متن کامل